101. STOC'07 : proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007
پدیدآورنده : sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
رده :
QA
267
.
7
.
A25
2007
102. STOC'06 : proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, Washington, USA, May 21-23, 2006
پدیدآورنده : sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
رده :
QA
267
.
7
.
A25
2006
103. SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Berger, Sweden ]i.e. Norway[, July 11-14, 1990 : Proceedings
پدیدآورنده : J.R. Gilbert, R. Karlsson )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Algorithms,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
447
104. SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Berger, Sweden )i.e. Norway(, July 11-14, 1990 : proceedings
پدیدآورنده : Scandinavian Workshop on Algorithm Theory, )2nd, 0991, Bergen, Norway(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Algorithms-- Congresses,، Computational complexity-- Congresses
رده :
QA
9
.
58
.
S28
1990
105. SWAT 88 : 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988 : proceedings
پدیدآورنده : Scandinavian Workshop on Algorithm Theory, )1st, 8891, Halmstad, Sweden(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Algorithms-- Congresses,، Computational complexity-- Congresses
رده :
QA
9
.
58
.
S93
1988
106. SWAT 88 : 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988 : proceedings
پدیدآورنده : R. Karlsson, A. Lingas, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Algorithms,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
318
107. Theory and applications of models of computation :
پدیدآورنده : Mitsunori Ogihara, Jun Tarui (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
T36
2011eb
108. Theory and applications of models of computation :
پدیدآورنده : T.V. Gopal, Junzo Watada (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.
رده :
QA76
.
9
.
M35
T35
2019eb
109. Theory and applications of satisfiability testing -- SAT 2019 :
پدیدآورنده : Mikoláš Janota, Inês Lynce (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
110. Variable neighborhood search :
پدیدآورنده : Nenad Mladenovic, Andrei Sleptchenko, Angelo Sifaleras, Mohammed Omar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial optimization-- Data processing, Congresses.,Heuristic algorithms, Congresses.,Combinatorial optimization-- Data processing.,Heuristic algorithms.
رده :
QA402
.
5
